Terminological reasoning and Information Management
نویسندگان
چکیده
Reasoning with terminological logics is a subbeld in the area of knowledge representation that evolved from the representation language kl-one. Its main purpose is to automatically determine the location of a a new concept description (or object description) in a partially ordered set of given concepts. It seems to be a promising approach to apply the techniques developed in this area to the development of new object-based database models. The main advantages are a uniform query and database deeni-tion language and the utilization of an indexing technique, which we call semantic indexing.
منابع مشابه
Combining Spatial and Terminological Reasoning
The paper presents a method for terminological reasoning about spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geographic information systems and parsing of visual languages. In contrast to existing work, which mainly focusseson reasoning about qualitative spatial relations, we integrate quantitative information with conceptual or ...
متن کاملSpatioterminological Reasoning: Subsumption Based on Geometrical Inferences
This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. This theory is motivated as basis for knowledge representation and query proc...
متن کاملTerminological Ontologies - Design, Management and Practical Applications
The best ebooks about Terminological Ontologies Design Management And Practical Applications that you can get for free here by download this Terminological Ontologies Design Management And Practical Applications and save to your desktop. This ebooks is under topic such as terminological ontologies design management and practical terminological ontologies design management and practical did you ...
متن کاملComputational Complexity of Terminological Reasoning in BACK Published in Arti cial Intelligence
Terminological reasoning is a mode of reasoning all hybrid knowledge representation systems based on KL ONE rely on After a short introduc tion of what terminological reasoning amounts to it is proven that a com plete inference algorithm for the BACK system would be computationally intractable Interestingly this result also applies to the KANDOR system which had been conjectured to realize comp...
متن کاملComplexity of Terminological Reasoning 3 Property possession
Terminological reasoning is a mode of reasoning all hybrid knowledge representation systems based on KL-ONE rely on. After a short introduction of what terminological reasoning amounts to, it is proven that a complete inference algorithm for the BACK system would be computationally intractable. Interestingly, this result also applies to the KANDOR system, which had been conjectured to realize c...
متن کامل